A natural Galois connection between generalized norms and metrics
نویسندگان
چکیده
منابع مشابه
The Galois Connection between Operations and Relations
sets of relations are denoted by Rel (<κ) A and Rel (<∞) A , respectively. For an operation f ∈ Op A and a relation ρ ∈ Rel (μ) A we say that f preserves ρ, or ρ is compatible with f , and write f ⊥ ρ, if f(ρ, ρ, . . .) ⊆ ρ. Equivalently, f preserves ρ iff ρ is a subalgebra of the algebra 〈A; f〉 iff f if a homomorphism 〈A; ρ〉 → 〈A; ρ〉 of relational structures. For any pair κ, λ where each one o...
متن کاملcomputing character degrees via a galois connection
in a previous paper, the second author established that, given finite fields $f < e$ and certain subgroups $c leq e^times$, there is a galois connection between the intermediate field lattice ${l mid f leq l leq e}$ and $c$'s subgroup lattice. based on the galois connection, the paper then calculated the irreducible, complex character degrees of the semi-direct product $c rtimes {rm gal} (e/f)$...
متن کاملA constructive Galois connection between closure and interior
We construct a Galois connection between closure and interior operators on a given set. All arguments are intuitionistically valid. Our construction is an intuitionistic version of the classical correspondence between closure and interior operators via complement. In classical mathematics, the theory of closure operators and that of interior operators can be derived one from another. In fact, A...
متن کاملA Galois connection between Turing jumps and limits
Limit computable functions can be characterized by Turing jumps on the input side or limits on the output side. As a monad of this pair of adjoint operations we obtain a problem that characterizes the low functions and dually to this another problem that characterizes the functions that are computable relative to the halting problem. Correspondingly, these two classes are the largest classes of...
متن کاملA Galois-Connection between Cattell's and Szondi's Personality Profiles
We propose a computable Galois-connection between, on the one hand, Cattell’s 16-Personality-Factor (16PF) Profiles, one of the most comprehensive and widely-used personality measures for non-psychiatric populations and their containing PsychEval Personality Profiles (PPPs) for psychiatric populations, and, on the other hand, Szondi’s personality profiles (SPPs), a less well-known but, as we sh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Universitatis Sapientiae, Mathematica
سال: 2017
ISSN: 2066-7752
DOI: 10.1515/ausm-2017-0027